Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
No. This is my first visit.
没有。这是第一次。
Be swift to hear, slow to speak.
多听少说。
Shops cater for the do-it-yourself craze not only by running special advisory services for novices, but by offering consumers bits and pieces which they can assemble at home.
为了满足自己动手热的需要，商店不仅为初学者提供专门的咨询服务，而且为顾客准备了各种零件，供他们买回家去安装。